COMMENT ⊗   VALID 00006 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input hdr[am,dbl]
C00004 00003	\def\asecbegin#1{\hjust{\:=Appendix #1}
C00007 00004	\def\NSECP #1{
C00020 00005	\NSECP{OVERVIEW}
C00030 00006	\vfill
C00043 ENDMK
C⊗;
\input hdr[am,dbl]
\trace '555
\def\1{\:a}
\def\0{\:a\ }
\def\2{\:q}
\def\3{\:t}
\def\4{\:n}
\def\5{\:<}
\def\6{\:r}
\gdef\half{1}  % Randy: reset to {2} (for "second half" of book)
\runninglefthead{AM: DISCOVERY IN MATHEMATICS AS HEURISTIC SEARCH} % Reset this.
\setcount0 1   % Randy: change to setcount0 289, if 290 is first page in your half
\setcount4 0 
\setcount5 0
\setcount8 854 % This 854 will show up quickly if there is a bug somewhere
\def\forall{\mathrel{\char'470}}
\def\hook{\mathrel{\char'472}}
\def\han #1{\hangindent #10pt for 99 \noindent}
\def\asecbegin#1{\hjust{\:=Appendix #1}
	\penalty 1000 \vskip 6pt plus 3pt
	\acpmark{\chd}{\csec}
	\noindent\tenpoint\!}
\def\asusecb#1{\yyskip
	\acpmark{\chd}{\csec}
	{\noindent{\:=Appendix #1.}\tenpoint\xskip\!}\par \yskip}
\def\asssecbegin#1{\yyskip{\noindent
	{\:>Appendix #1.}\tenpoint\xskip\!}\par \yskip}
\def\GET #1{\input #1 \vfill}
\def\GGET #1{}
\def\BN{\setcount8 0}
\def\inbox#1{\vjust{\hrule\hjust{\vrule\hskip 2pt 
             \vjust{\vskip 2pt #1 \vskip 2pt}\hskip 2pt\vrule}\hrule}}
\def\hh{\advcount8 {\6\count8 . }}
\setcount9 1
\def\foo #1{\advcount9  {\footnote {\unskip
               $↑{\count9}$\unskip}{#1}}}
\def\threstar #1{\vfill\yyskip {\hjust {\inbox{\inbox{\hjust{\:t#1}}}}} \yskip}
\def\colontwo #1{\advcount8 {\6 ** ${\underline{Task\  \count8}}$ ** #1}}
\def\strdotstr #1{$\underline{#1}$}
\def\inv{\raise 2.1pt\hjust{\:d-1}}
\def\minv{{\scriptstyle{\raise 2.1pt\hjust{-1}}}}
\def\qq #1#2{\yskip \ninepoint 
             {\hangindent 40pt for 44 {\it \noindent #1}} \par
             {\ctrline{\sl --- \ #2\0}}\tenpoint \yskip}
\def\hs#1#2{\yyskip \inbox{\inbox{\hjust{{\5 #1 . #2}}}} \yskip}
\def\bh{\ninepoint \parindent 0pt \parskip 1pt \yskip \sl}
\def\eh{\tenpoint \parindent 19pt \parskip 0pt \yskip \rm}
\save2\ctrline{\ }
\def\lead{\leaders\hjust to 10pt{\hfill .\hfill}\hfill}
\gdef\contents{{}}
\def\NSECP #1{
 \titlepage\tenpoint
 \vfill
 \advcount4
 \runningrighthead{#1}
 \section{\half .\count4}
 \eject
 \sectionbegin{\half .\count4. \:; #1}
 \setcount5 0
 \setcount9 0
  % was: SAVE1\vjust{\hjust{\box2} \yskip \hjust{\bf\half .\count4. \ #1 \9 \count0}}
  % then was: \save2\vjust{\box2 \yskip \hjust to size{\bf\half .\count4. \ #1\lead\count0}}
\xdef\contents{\contents \yskip \hjust to size{\bf\half .\count4. \ #1\lead\count0}}
 }
\def\SSEC #1{
 \advcount5
 \setcount6 0
 \runningrighthead{#1}
 \section{\half .\count4.\count5}
 \sectionskip  
 \minsectionbegin{\half .\count4.\count5. #1}
\xdef\contents{\contents \hjust to size{\rm \half .\count4.\count5 \ #1\lead\count0}}
 }
\def\SSSEC #1{   
 \advcount6
 \setcount7 0
 \runningrighthead{#1}
 \section{\half .\count4.\count5.\count6}
 \sectionskip  
 \dimsectionbegin{\half .\count4.\count5.\count6. #1}
 \xdef\contents{\contents \hjust to size{\hskip 20pt\:i 
     \half .\count4.\count5.\count6 \ #1\lead\count0}}
 }
\def\ASEC #1{
 \runninglefthead{AM: DISCOVERY IN MATHEMATICS AS HEURISTIC SEARCH}
 \titlepage\tenpoint
 \vfill
 \advcount4
 \runningrighthead{#1}
 \section{App. \half .\count4 }
 \eject
 \asecbegin{\half .\count4. \:; #1}
 \setcount5 0
 \setcount9 0
\xdef\contents{\contents \yskip \hjust to size{\bf Appendix \half .\count4. \ #1\lead\count0}}
 }
\def\SSECP #1{
 \advcount5
 \setcount6 0
 \runningrighthead{#1}
 \section{\half .\count4.\count5}
 \eject  
 \minsectionbegin{\half .\count4.\count5. #1}
\xdef\contents{\contents \hjust to size{\hskip 5pt \rm \half .\count4.\count5 \ #1\lead\count0}}
 }
\def\ASSEC #1{
 \advcount5
 \setcount6 0
 \runningrighthead{#1}
 \section{App. \half .\count4.\count5}
 \sectionskip  
 \asusecb{\half .\count4.\count5. #1}
\xdef\contents{\contents \hjust to size{\hskip 5pt \rm \half .\count4.\count5 \ #1\lead\count0}}
 }
\def\ASSECP #1{
 \advcount5
 \setcount6 0
 \runningrighthead{#1}
 \section{App. \half .\count4.\count5}
 \eject  
 \asusecb{\half .\count4.\count5. #1}
\xdef\contents{\contents \hjust to size{\hskip 5pt \rm \half .\count4.\count5 \ #1\lead\count0}}
 }
\def\ASSSEC #1{   
 \advcount6
 \setcount7 0
 \runningrighthead{#1}
 \section{App. \half .\count4.\count5.\count6}
 \sectionskip  
 \asssecbegin{\half .\count4.\count5.\count6. #1} % Note: no CONTENTS entry
\xdef\contents{\contents \hjust to size{\hskip 20pt\:i \half .\count4.\count5.\count6 \ 
    #1\lead\count0}}
 }
\def\NNSECP #1{
 \titlepage\tenpoint
 \vfill
 \advcount4
 \runningrighthead{#1}
 \section{{ }}
 \eject
 \ctrline{\:=#1}
	\penalty 1000 \vskip 6pt plus 3pt
	\acpmark{\chd}{\csec}
	\noindent\tenpoint\!
 \setcount5 0
 \setcount9 0
\xdef\contents{\contents \yskip \hjust to size{\bf #1\lead\count0}}
 }
\NSECP{OVERVIEW}

\SSEC{Abstract}


\SSEC{Five-page Summary of the Project}

 \SSSEC{Detour: Analysis of a discovery}

 \SSSEC{What AM does: Syntheses of discoveries}

 \SSSEC{Results}

 \SSSEC {Conclusions}

\SSEC{Viewing AM as some common process}

 \SSSEC{AM as Hill-climbing}

 \SSSEC{AM as Heuristic Search}

 \SSSEC{AM as a Mathematician}

 \SSSEC{AM as a Book}



\NSECP{EXAMPLE:  Discovering Prime Numbers}

\SSEC{Discussion of the AM Program}

 \SSSEC{Representation}

 \SSSEC{Agenda and Heuristics}

\SSEC{What (not) to get out of this example}

\SSEC{Deciphering the Example}

\SSEC{The Example Itself}

\SSEC{Recapping the Example}



\NSECP{AGENDA}

\SSEC{AM's Search}

\SSEC{Constraining AM's Search}

\SSEC{The Agenda}

 \SSSEC{Why an Agenda?}

 \SSSEC{Details of the Agenda scheme}



\save3\box2 \save2\ctrline{\ } \NSECP{HEURISTICS}

\SSEC{Syntax of the Heuristics}

 \SSSEC{Syntax of the Left-hand Side}

 \SSSEC{Syntax of the Right-hand Side}

\SSEC{Heuristics Suggest New Tasks}

 \SSSEC{An Illustration: ``Fill in Generalizations of Equality''}

 \SSSEC{The Ratings Game}

\SSEC{Heuristics Create New Concepts}

 \SSSEC{An Illustration: Discovering Primes}

\NNSECP{Acknowledgements}


\vfill

\eject

\tenpoint \parindent 0pt \parskip 0pt \lineskip 0pt

\ctrline{{\:= CONTENTS}}

\yskip

\hjust to size{$\underline{section}$ \lead $\underline{page}$}

\yskip

\contents

% \box3

% \vfill

% \box4

% \vfill

% \box5

% \vfill

% \box2

\vfill\end